University of Birmingham

Results: 2922



#Item
51Call for Papers Friends and colleagues, We invite paper submissions for the conference on “Expectations in Dynamic Macroeconomic Models,” to be held at the University of Birmingham, UK, this

Call for Papers Friends and colleagues, We invite paper submissions for the conference on “Expectations in Dynamic Macroeconomic Models,” to be held at the University of Birmingham, UK, this

Add to Reading List

Source URL: exside-itn.eu

Language: English - Date: 2018-03-12 07:03:07
    52Formal Analysis of Electronic Voting Systems Mark Ryan University of Birmingham joint work with Ben Smyth Steve Kremer

    Formal Analysis of Electronic Voting Systems Mark Ryan University of Birmingham joint work with Ben Smyth Steve Kremer

    Add to Reading List

    Source URL: www.cs.bham.ac.uk.

    Language: English - Date: 2010-04-20 09:42:28
      53The Suzuki groups Robert A. Wilson University of Birmingham, 23rd March

      The Suzuki groups Robert A. Wilson University of Birmingham, 23rd March

      Add to Reading List

      Source URL: www.maths.qmul.ac.uk

      Language: English - Date: 2011-03-22 08:02:16
        54Precise Electroweak Results from LEP2 David G. Charlton Royal Society University Research Fellow School of Physics and Astronomy The University of Birmingham

        Precise Electroweak Results from LEP2 David G. Charlton Royal Society University Research Fellow School of Physics and Astronomy The University of Birmingham

        Add to Reading List

        Source URL: www.slac.stanford.edu

        Language: English - Date: 2001-04-04 18:07:50
          55Synthesising Verified Access Control Systems through Model Checking Nan Zhang, Mark Ryan∗ School of Computer Science University of Birmingham {nxz,mdr}@cs.bham.ac.uk

          Synthesising Verified Access Control Systems through Model Checking Nan Zhang, Mark Ryan∗ School of Computer Science University of Birmingham {nxz,mdr}@cs.bham.ac.uk

          Add to Reading List

          Source URL: www.cs.bham.ac.uk.

          Language: English - Date: 2009-02-25 10:33:23
            56Smart Contracts Make Bitcoin Mining Pools Vulnerable Yaron Velner1 , Jason Teutsch2 , and Loi Luu3 1 The Hebrew University of Jerusalem The University of Alabama at Birmingham

            Smart Contracts Make Bitcoin Mining Pools Vulnerable Yaron Velner1 , Jason Teutsch2 , and Loi Luu3 1 The Hebrew University of Jerusalem The University of Alabama at Birmingham

            Add to Reading List

            Source URL: www.comp.nus.edu.sg

            - Date: 2017-04-10 06:54:32
              57Applications of Game Semantics: From Program Analysis to Hardware Synthesis Dan R. Ghica School of Computer Science University of Birmingham, UK

              Applications of Game Semantics: From Program Analysis to Hardware Synthesis Dan R. Ghica School of Computer Science University of Birmingham, UK

              Add to Reading List

              Source URL: www.cs.bham.ac.uk

              - Date: 2009-08-22 10:16:19
                58Photonics For Medical DiagnosticsSeptember, 7-8 Aston Institute of Photonic Technologies, Aston University, Birmingham UK

                Photonics For Medical DiagnosticsSeptember, 7-8 Aston Institute of Photonic Technologies, Aston University, Birmingham UK

                Add to Reading List

                Source URL: www.photon.org.uk

                - Date: 2018-03-19 04:46:24
                  59C O M P U T ER S C I E N C E DEPARTMENT COLLOQUIUM Portable Non-blocking Data Structures Dr. Peter Pirkelbauer University of Alabama at Birmingham

                  C O M P U T ER S C I E N C E DEPARTMENT COLLOQUIUM Portable Non-blocking Data Structures Dr. Peter Pirkelbauer University of Alabama at Birmingham

                  Add to Reading List

                  Source URL: pdf.cs.ua.edu

                  - Date: 2013-02-21 14:28:34
                    60A CCG-based System for Valence Shifting for Sentiment Analysis František Simančík and Mark Lee School of Computer Science, University of Birmingham, Birmingham, UK , .

                    A CCG-based System for Valence Shifting for Sentiment Analysis František Simančík and Mark Lee School of Computer Science, University of Birmingham, Birmingham, UK , .

                    Add to Reading List

                    Source URL: www.cicling.org

                    - Date: 2009-07-17 00:20:17